DP (design proof)

计保证值